Szimbolikus végrehajtás állapot automaták segítségével

A diplomamunka célja annak vizsgálata, hogy az állapotautomaták alkalmazása milyen módon tudja segíteni a szimbolikus végrehajtást. Megvizsgálom, hogyan lehet egy általános állapotautomata-alapú hibadetektálást végezni, amely a különböző végrehajtási utak elemzésén alapul. Szimbolikus értékeinek figyelembevételével automatizált programhiba-felismerés valósítható meg. Ennek konkrét használati lehetőségét egy DSL formájában demonstrálom

Az elemek nukleoszintézise lassú és robbanásos folyamatokban = Stellar and explosive nucleosynthesis

A pályázat során a nukleoszintézis magfizikai aspektusait tanulmányoztuk. A Napban lejátszódó rendkívül kis valószínűségű atommagreakciókat egy földalatti laboratóriumba telepített részecskegyorsító segítségével mértük meg. Mérésünk módosítja a gömbhalmazok korának becslését, és információt ad az univerzumban lejátszódó korai elemszintézisre is. Az egyes protongazdag nehéz izotópok keletkezéséért felelős asztrofizikai p-folyamatot az ATOMKI gyorsítói mellé telepített eszközeinkkel vizsgáltuk: kísérleteinkkel fontos lépést tettünk a globális alfa-potenciál megtalálása felé. Mivel a robbanásos nukleoszintézis során mindeddig kevéssé ismert szerkezetű radioaktív magokon lejátszódó reakciók válnak fontossá, egzotikus atommagok tulajdonságaira világítottunk rá a japán RIKEN-ben végzett méréseinkkel. E mérésekhez egy CsI kristályokból álló töltöttrészecske detektorrendszert fejlesztettünk ki és teszteltünk az ATOMKI-ben. A sztatikus csillagokra jellemző rendkívül alacsony energián lejátszódó magreakciókat befolyásoló atomi folyamat, az elektronárnyékolás fémes közegtől való függését vizsgáltuk környezeti változók függvényében. Preciziós felezési idő méréseinkkel felső korlátot adtunk radioaktív bomlás sebességének a fémes környezettől való függésére. Az eredményeinket összefoglaló 54 angol nyelvű publikáció (többek között 8 Phys.Rev.Lett. és 6 Phys.Lett.B cikk) nemzetközi sikerét jelzi a pályázat futamideje alatt e közleményekre kapott több, mint 200 hivatkozás. | The nuclear physics aspects of nucleosynthesis have been studied in the present work. Using an underground accelerator installed at LNGS, Italy, ultra low cross sections have been determined for nuclear reactions relevant to nonexplosive nucleosynthesis. Our results have impact on the age of globular clusters, neutrino flux from the Sun and big bang nucleosynthesis. Using the ATOMKI accelerator facility the astrophysical p-process has been studied experimentally by radiative capture and elastic scattering reactions at low energies to clarify the performance of recently developed global optical potentials. As a step towards the understanding of explosive nucleosynthesis, where exotic nuclei can play decisive role, we investigated the structure of several exotic nuclei using the radioactive beam facility of RIKEN, Japan. To reach this aim a CsI charged particle array has been developed and commissioned as a joint effort of RIKEN and ATOMKI. Electron screening -the phenomenon where the collision energy is low enough that atomic effects modify the expected nuclear reaction rate- has been studied in various metallic environments. Half-lifes of radioactive nuclei embedded in metals have been determined as a further test of the importance of metallic environments. The results have been published in high ranked scientific journals

Visualization of Read-Copy-Update synchronization contexts in C code

The Read-Copy-Update (RCU) mechanism is a way of synchronizing concurrent access to variables with the goal of prioritizing read performance over strict consistency guarantees. The main idea behind this mechanism is that RCU avoids the use of lock primitives while multiple threads try to read and update elements concurrently. In this case, elements are linked together through pointers in a shared data structure. RCU is used in the Linux kernel, but there are user-space libraries which implement the technique as well. One of the user-space solutions is liburcu that is a C language library. Earlier, we defined our code comprehension framework for easing the development of RCU solutions. In this paper, we present our visualization techniques for the Microsoft’s Monaco Editor

Ritka nemesgáz izotópokon lejátszódó nukleáris asztrofizikai reakciók vizsgálata = Study of nuclear reactions on rare noble gas isotopes relevant to nuclear astrophysics

A 3He(alfa,gamma)7Be szigma(E) hatáskeresztmetszetére a modellek min. 3,5% pontosságot igényelnek. A mérési eredmények erősen szórnak, ezért a reakciósebességet [szigma(E)] 3 független módszerrel (aktiváció, g-hozam és "recoil" szeparátor) mértük meg. A 3 eredmény átlagértéke jobb a korábbiaknál, de pontossága még nem elegendő, további mérésekre van szükség. A CNO-ciklus más reakcióira [14,15N(p,g)15,16O] is új, meghatározó szigma(E) értékeket adtunk meg (LUNA). A p-folyamat vizsgálatok során számos új reakciósebességet mértünk és összehasonlítottuk Hauser-Feshbach számolásokkal. Eredmény: proton keltette reakciókra az egyezés megfelelő, míg alfa-részecskékre nem. Pontos rugalmas alfa- szórásainkból kapott optikai potenciálokkal számolva sincs egyezés. A p-folyamat tanulmányozására egy új irányt, a (p,n) reakciók alkalmazását vezettük be. Az egyik kulcsreakció [124Xe(alfa,gamma)128Ba] méréséhez a kamra elkészült, tesztelése folyik. Méréseinkhez főleg aktivációs módszert használtunk, ezért mértük különböző anyagokba implantált aktív magok felezési idejének elméletileg jósolt változását. Sem anyag, sem hőmérséklet függést nem találtunk. Nemzetközi együttműködésben (OTKA IN64269) méréseket végeztünk az indirekt Trojan Horse Módszerrel. Bizonyítottuk a módszer asztrofizikai alkalmazhatóságát [7Li(p,alfa)4He], elsőként mértünk interferencia-mentes p-p szórást, valamint az 18O(p,alfa)15N és a 10,11B+p reakciókat az un. Gamow-ablakban (közel nulla energiánál). | The 3He(alpha,gamma)7Be is a key reaction (Big-Bang; Hydrogen Burning), the sigma(E) cross section should be known with a precision of 3.5%. Because of discrepancies between different results, we measured it with 3 independent methods (activation, g-yield, recoil separator). The results are consistent, the average rate improved, however, the precision is still not enough. New sigma(E) values were also determined for reactions important for CNO-cycle. Astrophysical p-process: a lot of new reaction rates were measured. The results were compared with Hauser-Feshbach calculations using different particle-nucleus potentials. Conclusion: for proton induced reactions the agreement is acceptable, contrary to alpha-particles. Optical potentials extracted from precise alpha-elastic scattering didn't solved the problem for alpha-s. A new idea, the applicability of (p,n) reactions in p-process studies was introduced. The key reaction, 124Xe(alpha,gamma)128Ba, is in test phase, the setup was developed. In our studies activation method was mostly used, therefore the predicted halflife changes of active nuclei implanted into different materials were checked. Neither host material nor temperature dependence was found. Experiments were performed by Trojan Horse Method in international collaboration (OTKA IN64269). The applicability of that indirect method was proved (7Li+p), first time the interference-free p-p scattering as well as the 18O+p and 10,11B+p reactions at close to zero energies (no extrapolation) were measured

Visualization of Read-Copy-Update synchronization contexts in C code

The Read-Copy-Update (RCU) mechanism is a way of synchronizing concurrent access to variables with the goal of prioritizing read performance over strict consistency guarantees. The main idea behind this mechanism is that RCU avoids the use of lock primitives while multiple threads try to read and update elements concurrently. In this case, elements are linked together through pointers in a shared data structure. RCU is used in the Linux kernel, but there are user-space libraries which implement the technique as well. One of the user-space solutions is liburcu that is a C language library. Earlier, we defined our code comprehension framework for easing the development of RCU solutions. In this paper, we present our visualization techniques for the Microsoft’s Monaco Editor

Mag-asztrofizika indirekt módszerekkel = Nuclear Astrophysics with indirect methods

A 3He(?,?)7Be ?(E) hatáskeresztmetszetére a modellek min. 3,5% pontosságot igényelnek. A mérési eredmények erősen szórnak, ezért a reakciósebességet [?(E)] 3 független módszerrel (aktiváció, g-hozam és „recoil” szeparátor) mértük meg. A 3 eredmény átlagértéke jobb a korábbiaknál, de pontossága még nem elegendő, további mérésekre van szükség. A CNO-ciklus más reakcióira [14,15N(p,g)15,16O] is új, meghatározó ?(E) értékeket adtunk meg (LUNA). A p-folyamat vizsgálatok során számos új reakciósebességet mértünk és összehasonlítottuk Hauser-Feshbach számolásokkal. Eredmény: proton keltette reakciókra az egyezés megfelelő, míg ?-részecskékre nem. Pontos rugalmas ?- szórásainkból kapott optikai potenciálokkal számolva sincs egyezés. A p-folyamat tanulmányozására egy új irányt, a (p,n) reakciók alkalmazását vezettük be. Az egyik kulcsreakció [124Xe(?,gamma)128Ba] méréséhez a kamra elkészült, tesztelése folyik. Méréseinkhez főleg aktivációs módszert használtunk, ezért mértük különböző anyagokba implantált aktív magok felezési idejének elméletileg jósolt változását. Sem anyag, sem hőmérséklet függést nem találtunk. Nemzetközi együttműködésben (OTKA IN64269) méréseket végeztünk az indirekt Trojan Horse Módszerrel. Bizonyítottuk a módszer asztrofizikai alkalmazhatóságát [7Li(p,?)4He], elsőként mértünk interferencia-mentes p-p szórást, valamint az 18O(p,?)15N és a 10,11B+p reakciókat az un. Gamow-ablakban (közel nulla energiánál). | The 3He(?,?)7Be is a key reaction (Big-Bang; Hydrogen Burning), the ?(E) cross section should be known with a precision of 3.5%. Because of discrepancies between different results, we measured it with 3 independent methods (activation, g-yield, recoil separator). The results are consistent, the average rate improved, however, the precision is still not enough. New ?(E) values were also determined for reactions important for CNO-cycle. Astrophysical p-process: a lot of new reaction rates were measured. The results were compared with Hauser-Feshbach calculations using different particle-nucleus potentials. Conclusion: for proton induced reactions the agreement is acceptable, contrary to ?-particles. Optical potentials extracted from precise ?-elastic scattering didn't solved the problem for ?-s. A new idea, the applicability of (p,n) reactions in p-process studies was introduced. The key reaction, 124Xe(?,gamma)128Ba, is in test phase, the setup was developed. In our studies activation method was mostly used, therefore the predicted halflife changes of active nuclei implanted into different materials were checked. Neither host material nor temperature dependence was found. Experiments were performed by Trojan Horse Method in international collaboration. The applicability of that indirect method was proved (7Li+p), first time the interference-free p-p scattering as well as the 18O+p and 10,11B+p reactions at close to zero energies (no extrapolation) were measured

Exfoliation of single layer BiTeI flakes

Spin orbit interaction can be strongly boosted when a heavy element is embedded into an inversion asymmetric crystal field. A simple structure to realize this concept in a 2D crystal contains three atomic layers, a middle one built up from heavy elements generating strong atomic spin-orbit interaction and two neighboring atomic layers with different electron negativity. BiTeI is a promising candidate for such a 2D crystal, since it contains heavy Bi layer between Te and I layers. Recently the bulk form of BiTeI attracted considerable attention due to its giant Rashba interaction, however, 2D form of this crystal was not yet created. In this work we report the first exfoliation of single layer BiTeI using a recently developed exfoliation technique on stripped gold. Our combined scanning probe studies and first principles calculations show that SL BiTeI flakes with sizes of 100 $\mu$m were achieved which are stable at ambient conditions. The giant Rashba splitting and spin-momentum locking of this new member of 2D crystals open the way towards novel spintronic applications and synthetic topological heterostructures.Comment: 20 pages, 5 figure